English Computing Dictionary
◊ DOWNWARD CLOSED
downward closed
{closure}